formal proof - Fransızca İngilizce Sözlük